Similar words: lexical semantics, semantics, cognitive semantics, semantic, semantically, polysemantic, semantic tree, semantic network. Meaning: n. the branch of semantics that studies the logical aspects of meaning.
Random good picture Not show
1. The traditional formal semantics holds that all the indefinite noun phrases should be interpreted as existentially quantified phrases.
2. The disadvantage of it is lacking a formal semantics and difficult to apply, directly, mathematical techniques on UML models for system validation.
3. XQuery 1.0 and XPath 2.0 Formal Semantics [in development] gives a precise formal meaning to each of the expressions of the XPath 2.0 and XQuery 1.0 specification in terms of their data model.
4. However, its lack of rigor and formal semantics prevents it further developing.
5. A formal semantics is given. We prove 79's soundness, consistency, completeness, and decidability with respect to the semantics.
6. However, UML does not have a formal semantics, so it could not fulfill the needs of the protocol in precise.
6. Sentencedict.com try its best to collect and create good sentences.
7. Therefore, the formal semantics study for UML can improve the veracity, consistency, and extendibility of the language.
8. The formal semantics of programming languages can provide concise and precise language definition. It helps people not only to understand well the language, but also to standardization of language.
9. Formal semantics of natural language research is an important Chinese information processing. Information processing is also facing a major task for Chinese studies.
10. In this paper, based on the mapping of the actions of sequence diagram to the process expressions of process algebra, a formal semantics of UML sequence diagram is built. First .
11. File Change Semantics is a formal semantic theory that dynamically describes the meaning of natural language that is developed from the traditional Montague's formal semantics.
12. This paper expatiates the understanding of "grammar", "syntax and semantics" and "predicate and sentence" from the perspective of formal semantics.
13. Therefore, it is a urgent demand for UML to have the formal semantics.
14. OWL facilitates greater machine interpretability of Web content than that supported by XML, RDF, and RDF Schema by providing additional vocabulary along with formal semantics.
15. Thus, it provides an excellent foundation for correctly understanding the RAISE specification language and describing its formal semantics.
16. An approach to modeling dynamic workflows based on the UML activity diagram and the UML state diagram was presented being supported by formal semantics.
17. The modeling method and the models given in IEC 61850 are investigated from the point of view of formal semantics.
18. Operational semantics and denotational semantics are two type of formal semantics.
19. By utilizing OWL classification, it can provide additional vocabulary along with formal semantics to describe the XML schema assets.
20. In this paper, based on coalgebra notions, treated a component which implements specifications as a concrete coalgebra and thus reasoned out the formal semantics of these specifications.
More similar words: lexical semantics, semantics, cognitive semantics, semantic, semantically, polysemantic, semantic tree, semantic network, semantic memory, semantic meaning, semantic knowledge, semantic processing, semantic equivalence, semiformal, semi-formal, normal size, performance characteristics, normal state, normal speed, normal school, normal standard, Performance Management, formant, informatics, dormant, formal notice, formalistic, informant, antics, lie dormant.